Synonyme wurden verwendet für:
mathematischer Beweis
Suche ohne Synonyme:
keywords:("mathematischer Beweis")
Formal methods and temporal safety requirements: A level crossing application
An efficiency-based capacity formulation: mathematical properties and practical implications
A situated reasoning architecture for space-based repair and replace tasks
Proving safety of a railway signalling system incorporating geographic data
A model-based approach for organizing quantitative computations
Responsive and time-constrained reasoning in autonomous vehicles
Optimization of linear control systems with assigned spectrum
Minimum entropy static output-feedback control with an Hinfinity -norm performance bound
Time-varying exponential stabilization of a rigid spacecraft with two control torques
Sensor selection techniques in device monitoring
A nonlinear small gain theorem for the analysis of control systems with saturation
A compact navigation system using image processing and fuzzy control
Experiments illustrating the importance of automated reasoning
Wheel torque proportioning, rear steering, and normal force control: a structural investigation